style "icon-style"
{
  # stock icons
  stock["gtk-add"] = 
  { 
      { "stock/stock_add.png", *, *, *} 
  }
  stock["gtk-remove"] = 
  { 
      { "stock/stock_remove.png", *, *, *} 
  }
  stock["gtk-cancel"] = 
  { 
      { "stock/stock_stop.png", *, *, *} 
  }
  stock["gtk-stop"] = 
  { 
      { "stock/stock_stop.png", *, *, *} 
  }
  stock["gtk-home"] = 
  { 
      { "stock/stock_home.png", *, *, *} 
  }

  stock["gtk-goto-bottom"] = 
  { 
      { "stock/stock_bottom.png", *, *, *} 
  }

  stock["gtk-goto-first"] = 
  { 
      { "stock/stock_first.png", *, *, *} 
  }

  stock["gtk-goto-last"] = 
  { 
      { "stock/stock_last.png", *, *, *} 
  }

  stock["gtk-goto-top"] = 
  { 
      { "stock/stock_top.png", *, *, *} 
  }

  stock["gtk-go-back"] = 
  { 
      { "stock/stock_left.png", *, *, *} 
  }

  stock["gtk-go-down"] = 
  { 
      { "stock/stock_down.png", *, *, *} 
  }

  stock["gtk-go-forward"] = 
  { 
      { "stock/stock_right.png", *, *, *} 
  }

  stock["gtk-go-up"] = 
  { 
      { "stock/stock_up.png", *, *, *} 
  }

  stock["gtk-no"] = 
  { 
      { "stock/stock_cancel.png", *, *, *} 
  }

  stock["gtk-apply"] = 
  { 
      { "stock/stock_apply.png", *, *, *} 
  }

  stock["gtk-cancel"] = 
  { 
      { "stock/stock_cancel.png", *, *, *} 
  }

  stock["gtk-ok"] =
  {
      { "stock/stock_ok.png", *, *, *}
  }

  stock["gtk-yes"] = 
  { 
      { "stock/stock_apply.png", *, *, *} 
  }

  stock["gtk-refresh"] =
  {
      { "stock/stock_refresh.png", *, *, *}
  }

  stock["gtk-italic"] =
  {
      { "stock/stock_italic.png", *, *, *}
  }
}
class "GtkWidget" style "icon-style"
